Finite sets and Gödel's incompleteness theorems
S. Świerczkowski
EUDML | Finite sets and Gödel's incompleteness theorems
pdf:
https://www.impan.pl/download/pdf/dm422-0-1
0.
遺伝的集合
は
Ackermann
や
Beth
,
Givant
や
Alfred Tarski
によって研究されている
事実として,
Peano算術
と定義的に同値であることが知られている
遺伝的集合とPeano算術
2023.05.07